- machine-created halt
- автоматический останов
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
Turing machine — For the test of artificial intelligence, see Turing test. For the instrumental rock band, see Turing Machine (band). Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine… … Wikipedia
Counter machine — A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machines. A counter machine comprises a set of one or more unbounded… … Wikipedia
Turing machine equivalents — Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine Read only right moving Turing Machines Probabilistic Turing machine Multi track Turing machine Turing machine… … Wikipedia
Post–Turing machine — The article Turing machine gives a general introduction to Turing machines, while this article covers a specific class of Turing machines. A Post–Turing machine is a program formulation of an especially simple type of Turing machine, comprising a … Wikipedia
The Time Machine (2002 film) — Infobox Film name = The Time Machine caption = Promotional poster for The Time Machine writer = HG Wells (novel) David Duncan (earlier screenplay) John Logan (screenplay) starring = Guy Pearce Samantha Mumba Mark Addy Sienna Guillory Phyllida Law … Wikipedia
La Machine (production company) — La Machine is a French production company based in Nantes, France, which is famous for La Princesse, a 50 foot mechanical spider constructed in Liverpool, England. BackgroundThe group was formed by artists, designers, fabricators and technicians… … Wikipedia
List of Teenage Mutant Ninja Turtles supporting characters — Table of appearances=A table of characters showing their appearances in the nine major incarnations of the TMNT franchise. Ace Duck Ace Duck is a fictional character from the original franchise.Toy LineHis action figure was released in 1989, part … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
Obsolete (album) — Obsolete Studio album by Fear Factory Released July 28, 1998 March 23, 1999 (limited edition d … Wikipedia
Characters of Chrono Cross — The following are characters from the PlayStation game Chrono Cross .Table of contents *1 Cast creation and influences *2 Playable characters **2.1 Main characters **2.2 Acacia Dragoons **2.3 Residents of Arni **2.4 Residents of Termina **2.5… … Wikipedia
List of characters in Chrono Cross — Serge (center) with some of the playable characters of Chrono Cross. First row: Mojo, Macha, Doc, Mel, Guile, Sprigg, and Starky. Second row: Razzly, Glenn, Leena, Kid, Nikki, and Sneff. Third row: Van, Harle, Norris, Radius, Irenes, and Pierre.… … Wikipedia